Software and Systems Modeling

Results: 760



#Item
671Modeling and simulation / Grid computing / Cross-platform software / Simulation software / Distributed computing architecture / Simulation / Web-based simulation / High-level architecture / MTA SZTAKI Laboratory of Parallel and Distributed Systems / Computing / Software / Mathematical software

Goal-Directed Grid-Enabled Computing for Legacy Simulations

Add to Reading List

Source URL: www.thesimguy.com

Language: English - Date: 2013-06-18 08:24:29
672Relational database management systems / Data types / MySQL / Data modeling / Query languages / SQL / Null / Extensible Storage Engine / Enumerated type / Data management / Computing / Software

Get It Done With MySQL 5&6, Chapter 4. Copyright © Peter Brawley and Arthur Fuller[removed]All rights reserved. TOC Previous Next

Add to Reading List

Source URL: www.artfulsoftware.com

Language: English - Date: 2014-04-26 10:29:26
673Software engineering / Software development / Scientific modeling / Software development process / Simulation software / Systems design / Software development methodology / Application software / Embedded system / Software / Computing / Electronic design automation

Mirabilis Design is a Silicon Valley company, providing software solutions to identify and eliminate risk in the electronic product specification; accurately predict the human and time resources required to develop the p

Add to Reading List

Source URL: www.mirabilisdesign.com

Language: English - Date: 2013-08-09 04:23:26
674Software development / ISO standards / Diagrams / Knowledge representation / Unified Modeling Language / Software design / Modeling language / Class diagram / Interface / Software engineering / Computing / Object-oriented programming

Specification of Distributed Systems with a Combination of Graphical and Formal Languages ∗ Einar B. Johnsen Department of Informatics University of Oslo, Norway [removed]

Add to Reading List

Source URL: publications.nr.no

Language: English - Date: 2011-02-11 06:14:51
675Integrated development environments / Systems engineering / Unified Modeling Language / Software factory / Model-driven architecture / Software development methodology / Domain-specific language / Component-based software engineering / Microsoft Visual Studio / Software / Information technology management / Software architecture

PAID ADVERTISEMENT Moving to Software Factories Jack Greenfield and Keith Short, Architects, Visual Studio Team System, Microsoft Corporation. Industrializing Software Development

Add to Reading List

Source URL: softwarefactories.com

Language: English - Date: 2004-07-16 00:20:18
676Applied mathematics / Software engineering / Mathematics / Mathematical modeling / AMPL / MINOS / General Algebraic Modeling System / Operations research / Computer algebra systems / Mathematical optimization

Short term expertise in the context of the Auto-Oil II program and the envisaged clean air for Europe Program (Contract: B4[removed]MAR/B2)

Add to Reading List

Source URL: ec.europa.eu

Language: English - Date: 2009-10-01 05:52:25
677NesC / Wireless sensor network / Object-oriented programming / Technology / Component-based software engineering / Scheduling / Windows Task Scheduler / TinyOS / Software engineering / Computing

Using BIP for Modeling and Verification of Networked Systems – A Case Study on TinyOS-based Networks Ananda Basu, Laurent Mounier, Marc Poulhi`es, Jacques Pulou, Joseph Sifakis {basu, mounier, poulhies, sifakis}@imag.f

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2012-12-31 04:25:30
678Scientific modeling / Formal methods / Actor model / Concurrent computing / Embedded system / Programming language / Computer science / Modeling language / Hardware description language / Software engineering / Design / Systems engineering

The Embedded Systems Design Challenge? Thomas A. Henzinger1 and Joseph Sifakis2 1 2

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2012-12-31 04:25:30
679Computing / Science / Object-oriented programming / Component-based software engineering / Modeling language / Binding immunoglobulin protein / Model checking / Actor model / Software design / Scientific modeling / Software engineering / Systems science

www.computer.org/software Rigorous Component-Based System Design Using the BIP Framework Anandu Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, and Joseph Sifakis

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2012-12-31 04:25:30
680Science / Software development / Knowledge representation / Cadastre / Real estate / Surveying / Open Geospatial Consortium / EXPRESS / Unified Modeling Language / Data modeling / ISO standards / Cartography

Further Progress in the Development of a Core Cadastral Domain Model Christiaan LEMMEN and Peter VAN OOSTEROM, the Netherlands Key words: Standardization, Cadastral Systems, Cadastral Domain, Open GIS Standards, and ISO

Add to Reading List

Source URL: www.eurocadastre.org

Language: English - Date: 2005-05-18 06:00:00
UPDATE